<html><body>Buffer event listeners, and classes used to implement jEdit's document model.
</body></html>
